Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
221	Logic and Proof Jeremy Avigad Robert Y. Lewis Floris van Doorn Version 891edf9, updated at:06: Add to Reading List Source URL: avigad.github.io Language: English - Date: 2016-08-13 19:54:37 Proof theory Formal systems Methods of proof Mathematical proofs Deductive reasoning Propositional calculus Natural deduction Theorem Rule of inference First-order logic Mathematical induction Formal proof
222	James Buchanan’s Theory of Federalism: From Fiscal Equity to the Ideal Political Order Lars P. Feld 14/06 Add to Reading List Source URL: www.eucken.de Language: English - Date: 2014-07-25 03:04:24 Fiscal federalism Federalism Fiscal policy Competition Decentralization Fiscal imbalance Equalization payments Market-preserving federalism James M. Buchanan Public economics Public finance Regulatory competition
223	Monotone transports Convergence Semi-discrete evolution Continuous evolution From Brenier to Kntohe and from Knothe to Add to Reading List Source URL: tommi.imag.fr Language: English - Date: 2014-04-22 07:16:21 Measure theory Order theory Calculus of variations Transportation theory Monotonic function Convex function Mathematical optimization Cumulative distribution function
224	Introduction & Motivation Relations and Operations The complexity of positive equality-free first-order logic Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-09-09 14:15:56 Complexity classes Finite model theory Computational complexity theory Descriptive complexity FO Constraint programming Constraint satisfaction problem P Model theory Mathematical logic Constraint satisfaction HO
225	Mathematical Research Letters 1, 167–VAN KAMPEN’S EMBEDDING OBSTRUCTION IS INCOMPLETE FOR 2-COMPLEXES IN R4 Add to Reading List Source URL: people.mpim-bonn.mpg.de Language: English - Date: 2012-08-07 06:11:07 Differential topology Category theory Embedding General topology Order theory Generalised Whitehead product Orbifold
226	Period Math Hung DOIs10998Restriction semigroups and λ-Zappa-Szép products Victoria Gould1 · Rida-E-Zenab2 Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2016-05-19 12:11:12 Semigroup theory Algebraic structures Semigroup Inverse semigroup Inverse element Transformation semigroup Monoid Nambooripad order Semilattice Semigroup with involution Special classes of semigroups
227	Multiplicative Order of Gauss Periods Omran Ahmadi Department of Electrical and Computer Engineering University of Toronto Toronto, Ontario, M5S 3G4, Canada Add to Reading List Source URL: www.ma.utexas.edu Language: English - Date: 2007-07-11 21:30:10 Number theory Algebra Polynomials Cyclotomic polynomial Finite field Partition Weil conjectures Factorization of polynomials over finite fields
228	Frequently Asked Questions for Online Application Submission Q: How do I create an account in order to submit an application? • • • • Add to Reading List Source URL: www.sonomacf.org Language: English - Date: 2015-12-03 20:06:33 Webmail Microsoft Office Outlook.com Windows Live Attachment theory
229	Free Theorems — Foundations Janis Voigtl¨ander University of Bonn October 18th, 2010 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 General topology Constructible universe Ordinal number Base Order theory Net Conjugate element
230	Hammering towards QED Jasmin C. Blanchette Inria Nancy & LORIA, France Cezary Kaliszyk University of Innsbruck, Austria Lawrence C. Paulson Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-07-01 13:38:31 Automated theorem proving Proof assistants Formal methods Statements Model theory QED manifesto Theorem Mathematical proof Automated reasoning First-order logic Isabelle Mathematical logic

UPDATE